Hybrid Transition Modes in (Tissue) P Systems
نویسندگان
چکیده
In addition to the maximally parallel transition mode used from the beginning in the area of membrane computing, many other transition modes for (tissue) P systems have been investigated since then. In this paper we consider (tissue) P systems with hybrid transition modes where each set of a partitioning of the whole set of rules may work in a different transition mode in a first level and all partitions of rules work together at a (second) level of the whole system on the current configuration in a maximally parallel way. With all partitions of noncooperative rules working in the maximally parallel mode, we obtain a characterization of Parikh sets of ET0L-languages, whereas with hybrid systems with either the partitions working in the maximally parallel as well as in the = 1-mode or with all partitions working in the = 1-mode we can simulate catalytic or purely catalytic P systems, respectively, thus obtaining computational completeness.
منابع مشابه
Generating Discrete Trace Transition System of a Polyhe-dral Invariant Hybrid Automaton
Supervisory control and fault diagnosis of hybrid systems need to have complete information about the discrete states transitions of the underling system. From this point of view, the hybrid system should be abstracted to a Discrete Trace Transition System (DTTS) and represented by a discrete mode transition graph. In this paper an effective method is proposed for generating discrete mode trans...
متن کاملTransition and Halting Modes for Tissue P Systems
A variety of different transition modes for tissue P systems as well as several halting modes currently are used in the area of membrane computing. In this paper, the definitions of the most important transition modes and halting modes are explained based on networks of cells, a general model for tissue P systems. Moreover, some results for specific variants of tissue P systems working on multi...
متن کاملPricing strategy and return policy of one-echelon green supply chain under both green and hybrid productions
In this paper,we investigate the pricing and return policy issueof one-echelon green supply chain, contain a manufacture who produces two type of products: green and non-green products. These products have a same functional but in selling price and environmentally issues have different effects. Also we consider return policy for both products that can stimulate the customer valuation. We develo...
متن کاملOn Hybrid Systems and the Modal µ-calculus
We start from a basic and fruitful idea in current work on the formal analysis and veriication of hybrid and real-time systems: the uniform representation of both sorts of state dynamics { both continuous evolution within a control mode, and the eeect of discrete jumps between control modes { as abstract transition relations over a hybrid space X Q R n , where Q is a nite set of control modes. ...
متن کاملAn Ontology for Transitions in Physical Dynamic Systems
Physical systems often exhibit complex nonlinear behaviors in continuous time at multiple temporal and spatial scales. Abstractions simplify behavioral analysis and help focus on dominant system behaviors by defining sets of equivalent behavior types called modes. System behavior evolves in continuous modes with discrete transitions between modes. Subtle interactions between the continuous beha...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009